Search Results
On Abstraction Refinement for Program Analyses in Datalog
Abstraction Refinement Guided by a Learnt Probabilistic Model
Incrementalizing Lattice-Based Program Analyses in Datalog
Program Synthesis by Type-Guided Abstraction Refinement
Fast Datalog
2 05 Datafun: A Functional Datalog
Lect-26 abstractions and refinements
VINTA: Combining Model Checking and Abstract Interpretation
CSE562 39 Datalog
Dr Josef Mestenhauser - Analysis and Abstraction
Types are a Program Analysis' Best Friend, Ranjit Jhala
ICS4UO - Lesson 7 - Stepwise Refinement
